(0
 (
  ("(x 5)" 3 35)
  ("(x 6)" 35 69)
  ("(x 5)" 69 78)
  ("(x 4)" 78 90)
  ("(x 3)" 90 98)
  ("(x 2)" 98 107)
  ("(x 1)" 107 154)
  ("(x stable)" 4 16)
  ("(x up)" 16 18)
  ("(x stable)" 18 19)
  ("(x down)" 19 44)
  ("(x stable)" 44 61)
  ("(x up)" 61 126)
  ("(x stable)" 126 127)
  ("(x down)" 127 144)
  ("(x stable)" 144 152)
  ("(x up)" 152 154)
  ("(y 1)" 3 21)
  ("(y 2)" 21 25)
  ("(y 3)" 25 28)
  ("(y 4)" 28 31)
  ("(y 5)" 31 37)
  ("(y 6)" 37 62)
  ("(y 5)" 62 70)
  ("(y 4)" 70 74)
  ("(y 3)" 74 78)
  ("(y 2)" 78 87)
  ("(y 1)" 87 114)
  ("(y 2)" 114 123)
  ("(y 3)" 123 127)
  ("(y 4)" 127 130)
  ("(y 5)" 130 135)
  ("(y 6)" 135 154)
  ("(y stable)" 4 16)
  ("(y down)" 16 49)
  ("(y stable)" 49 51)
  ("(y up)" 51 99)
  ("(y stable)" 99 100)
  ("(y down)" 100 145)
  ("(y stable)" 145 150)
  ("(y up)" 150 154)
 ))
(1
 (
  ("(x 5)" 3 32)
  ("(x 6)" 32 68)
  ("(x 5)" 68 75)
  ("(x 4)" 75 81)
  ("(x 3)" 81 93)
  ("(x 2)" 93 106)
  ("(x 1)" 106 154)
  ("(x stable)" 4 17)
  ("(x up)" 17 24)
  ("(x stable)" 24 26)
  ("(x down)" 26 39)
  ("(x stable)" 39 54)
  ("(x down)" 54 61)
  ("(x stable)" 61 63)
  ("(x up)" 63 120)
  ("(x stable)" 120 121)
  ("(x down)" 121 139)
  ("(x stable)" 139 148)
  ("(x up)" 148 154)
  ("(y 1)" 3 22)
  ("(y 2)" 22 27)
  ("(y 3)" 27 29)
  ("(y 4)" 29 32)
  ("(y 5)" 32 36)
  ("(y 6)" 36 65)
  ("(y 5)" 65 71)
  ("(y 4)" 71 74)
  ("(y 3)" 74 79)
  ("(y 2)" 79 88)
  ("(y 1)" 88 115)
  ("(y 2)" 115 121)
  ("(y 3)" 121 124)
  ("(y 4)" 124 128)
  ("(y 5)" 128 134)
  ("(y 6)" 134 153)
  ("(y 5)" 153 154)
  ("(y stable)" 4 17)
  ("(y down)" 17 47)
  ("(y stable)" 47 53)
  ("(y up)" 53 101)
  ("(y stable)" 101 105)
  ("(y down)" 105 142)
  ("(y stable)" 142 145)
  ("(y up)" 145 154)
 ))
(2
 (
  ("(x 5)" 3 25)
  ("(x 6)" 25 57)
  ("(x 5)" 57 63)
  ("(x 4)" 63 69)
  ("(x 3)" 69 75)
  ("(x 2)" 75 87)
  ("(x 1)" 87 114)
  ("(x 2)" 114 132)
  ("(x 1)" 132 135)
  ("(x stable)" 4 19)
  ("(x down)" 19 37)
  ("(x stable)" 37 43)
  ("(x down)" 43 49)
  ("(x stable)" 49 50)
  ("(x up)" 50 100)
  ("(x stable)" 100 102)
  ("(x down)" 102 119)
  ("(x stable)" 119 129)
  ("(x up)" 129 135)
  ("(y 2)" 3 6)
  ("(y 1)" 6 16)
  ("(y 2)" 16 22)
  ("(y 3)" 22 25)
  ("(y 4)" 25 28)
  ("(y 5)" 28 32)
  ("(y 6)" 32 51)
  ("(y 5)" 51 56)
  ("(y 4)" 56 60)
  ("(y 3)" 60 64)
  ("(y 2)" 64 70)
  ("(y 1)" 70 96)
  ("(y 2)" 96 100)
  ("(y 3)" 100 104)
  ("(y 4)" 104 108)
  ("(y 5)" 108 114)
  ("(y 6)" 114 135)
  ("(y up)" 4 10)
  ("(y stable)" 10 13)
  ("(y down)" 13 41)
  ("(y stable)" 41 43)
  ("(y up)" 43 85)
  ("(y down)" 85 122)
  ("(y stable)" 122 128)
  ("(y up)" 128 135)
 ))
(3
 (
  ("(x 4)" 3 20)
  ("(x 5)" 20 30)
  ("(x 6)" 30 63)
  ("(x 5)" 63 68)
  ("(x 4)" 68 72)
  ("(x 3)" 72 77)
  ("(x 2)" 77 85)
  ("(x 1)" 85 119)
  ("(x 2)" 119 127)
  ("(x 1)" 127 129)
  ("(x stable)" 4 15)
  ("(x down)" 15 42)
  ("(x stable)" 42 55)
  ("(x up)" 55 99)
  ("(x stable)" 99 100)
  ("(x down)" 100 117)
  ("(x stable)" 117 118)
  ("(x down)" 118 125)
  ("(x up)" 125 129)
  ("(y 2)" 3 13)
  ("(y 1)" 13 18)
  ("(y 2)" 18 25)
  ("(y 3)" 25 28)
  ("(y 4)" 28 31)
  ("(y 5)" 31 36)
  ("(y 6)" 36 58)
  ("(y 5)" 58 64)
  ("(y 4)" 64 67)
  ("(y 3)" 67 71)
  ("(y 2)" 71 76)
  ("(y 1)" 76 99)
  ("(y 2)" 99 103)
  ("(y 3)" 103 105)
  ("(y 4)" 105 109)
  ("(y 5)" 109 114)
  ("(y 6)" 114 129)
  ("(y up)" 4 16)
  ("(y stable)" 16 17)
  ("(y down)" 17 44)
  ("(y stable)" 44 49)
  ("(y up)" 49 90)
  ("(y stable)" 90 92)
  ("(y down)" 92 124)
  ("(y stable)" 124 126)
  ("(y up)" 126 129)
 ))
(4
 (
  ("(x 5)" 3 28)
  ("(x 6)" 28 57)
  ("(x 5)" 57 63)
  ("(x 4)" 63 70)
  ("(x 3)" 70 74)
  ("(x 2)" 74 84)
  ("(x 1)" 84 131)
  ("(x stable)" 4 21)
  ("(x down)" 21 43)
  ("(x stable)" 43 47)
  ("(x up)" 47 95)
  ("(x stable)" 95 96)
  ("(x down)" 96 102)
  ("(x stable)" 102 106)
  ("(x down)" 106 113)
  ("(x stable)" 113 127)
  ("(x up)" 127 131)
  ("(y 2)" 3 25)
  ("(y 3)" 25 28)
  ("(y 4)" 28 31)
  ("(y 5)" 31 34)
  ("(y 6)" 34 53)
  ("(y 5)" 53 57)
  ("(y 4)" 57 60)
  ("(y 3)" 60 64)
  ("(y 2)" 64 70)
  ("(y 1)" 70 94)
  ("(y 2)" 94 97)
  ("(y 3)" 97 100)
  ("(y 4)" 100 105)
  ("(y 5)" 105 119)
  ("(y 6)" 119 131)
  ("(y up)" 4 13)
  ("(y stable)" 13 19)
  ("(y down)" 19 44)
  ("(y stable)" 44 45)
  ("(y up)" 45 84)
  ("(y stable)" 84 85)
  ("(y down)" 85 131)
 ))
(5
 (
  ("(x 6)" 3 14)
  ("(x 5)" 14 27)
  ("(x 6)" 27 72)
  ("(x 5)" 72 77)
  ("(x 4)" 77 81)
  ("(x 3)" 81 85)
  ("(x 2)" 85 99)
  ("(x 1)" 99 128)
  ("(x 2)" 128 178)
  ("(x stable)" 4 13)
  ("(x up)" 13 20)
  ("(x stable)" 20 23)
  ("(x down)" 23 40)
  ("(x stable)" 40 42)
  ("(x down)" 42 49)
  ("(x stable)" 49 60)
  ("(x down)" 60 65)
  ("(x stable)" 65 67)
  ("(x up)" 67 115)
  ("(x stable)" 115 116)
  ("(x down)" 116 139)
  ("(x stable)" 139 153)
  ("(x up)" 153 167)
  ("(x stable)" 167 174)
  ("(x up)" 174 178)
  ("(y 2)" 3 22)
  ("(y 3)" 22 26)
  ("(y 4)" 26 30)
  ("(y 5)" 30 37)
  ("(y 6)" 37 64)
  ("(y 5)" 64 70)
  ("(y 4)" 70 73)
  ("(y 3)" 73 76)
  ("(y 2)" 76 81)
  ("(y 1)" 81 117)
  ("(y 2)" 117 121)
  ("(y 3)" 121 124)
  ("(y 4)" 124 128)
  ("(y 5)" 128 134)
  ("(y 6)" 134 151)
  ("(y 5)" 151 160)
  ("(y 4)" 160 178)
  ("(y stable)" 4 13)
  ("(y up)" 13 15)
  ("(y stable)" 15 17)
  ("(y down)" 17 46)
  ("(y stable)" 46 57)
  ("(y up)" 57 102)
  ("(y stable)" 102 103)
  ("(y down)" 103 140)
  ("(y stable)" 140 145)
  ("(y up)" 145 166)
  ("(y stable)" 166 178)
 ))
(6
 (
  ("(x 5)" 3 34)
  ("(x 6)" 34 64)
  ("(x 5)" 64 71)
  ("(x 4)" 71 78)
  ("(x 3)" 78 83)
  ("(x 2)" 83 91)
  ("(x 1)" 91 125)
  ("(x 2)" 125 144)
  ("(x stable)" 4 25)
  ("(x down)" 25 48)
  ("(x stable)" 48 57)
  ("(x up)" 57 110)
  ("(x stable)" 110 112)
  ("(x down)" 112 132)
  ("(x stable)" 132 139)
  ("(x up)" 139 144)
  ("(y 2)" 3 30)
  ("(y 3)" 30 33)
  ("(y 4)" 33 35)
  ("(y 5)" 35 39)
  ("(y 6)" 39 62)
  ("(y 5)" 62 66)
  ("(y 4)" 66 70)
  ("(y 3)" 70 76)
  ("(y 2)" 76 84)
  ("(y 1)" 84 109)
  ("(y 2)" 109 113)
  ("(y 3)" 113 116)
  ("(y 4)" 116 119)
  ("(y 5)" 119 125)
  ("(y 6)" 125 144)
  ("(y up)" 4 17)
  ("(y stable)" 17 24)
  ("(y down)" 24 49)
  ("(y stable)" 49 54)
  ("(y up)" 54 99)
  ("(y stable)" 99 101)
  ("(y down)" 101 132)
  ("(y stable)" 132 139)
  ("(y up)" 139 144)
 ))
(7
 (
  ("(x 5)" 3 19)
  ("(x 6)" 19 51)
  ("(x 5)" 51 58)
  ("(x 4)" 58 63)
  ("(x 3)" 63 69)
  ("(x 2)" 69 79)
  ("(x 1)" 79 106)
  ("(x 2)" 106 127)
  ("(x up)" 4 7)
  ("(x stable)" 7 8)
  ("(x down)" 8 31)
  ("(x stable)" 31 43)
  ("(x up)" 43 92)
  ("(x stable)" 92 95)
  ("(x down)" 95 117)
  ("(x stable)" 117 120)
  ("(x up)" 120 127)
  ("(y 1)" 3 5)
  ("(y 2)" 5 13)
  ("(y 3)" 13 17)
  ("(y 4)" 17 20)
  ("(y 5)" 20 26)
  ("(y 6)" 26 44)
  ("(y 5)" 44 50)
  ("(y 4)" 50 54)
  ("(y 3)" 54 57)
  ("(y 2)" 57 64)
  ("(y 1)" 64 91)
  ("(y 2)" 91 96)
  ("(y 3)" 96 100)
  ("(y 4)" 100 103)
  ("(y 5)" 103 108)
  ("(y 6)" 108 127)
  ("(y down)" 4 32)
  ("(y stable)" 32 39)
  ("(y up)" 39 80)
  ("(y stable)" 80 81)
  ("(y down)" 81 117)
  ("(y stable)" 117 121)
  ("(y up)" 121 127)
 ))
(8
 (
  ("(x 4)" 3 23)
  ("(x 5)" 23 29)
  ("(x 6)" 29 56)
  ("(x 5)" 56 60)
  ("(x 4)" 60 63)
  ("(x 3)" 63 67)
  ("(x 2)" 67 75)
  ("(x 1)" 75 98)
  ("(x 2)" 98 106)
  ("(x 3)" 106 117)
  ("(x 2)" 117 121)
  ("(x stable)" 4 9)
  ("(x down)" 9 16)
  ("(x stable)" 16 17)
  ("(x down)" 17 45)
  ("(x stable)" 45 46)
  ("(x up)" 46 87)
  ("(x stable)" 87 88)
  ("(x down)" 88 111)
  ("(x stable)" 111 114)
  ("(x up)" 114 121)
  ("(y 1)" 3 14)
  ("(y 2)" 14 21)
  ("(y 3)" 21 24)
  ("(y 4)" 24 28)
  ("(y 5)" 28 32)
  ("(y 6)" 32 49)
  ("(y 5)" 49 54)
  ("(y 4)" 54 56)
  ("(y 3)" 56 59)
  ("(y 2)" 59 64)
  ("(y 1)" 64 86)
  ("(y 2)" 86 92)
  ("(y 3)" 92 95)
  ("(y 4)" 95 98)
  ("(y 5)" 98 103)
  ("(y 6)" 103 121)
  ("(y stable)" 4 9)
  ("(y down)" 9 41)
  ("(y stable)" 41 42)
  ("(y up)" 42 74)
  ("(y stable)" 74 78)
  ("(y down)" 78 112)
  ("(y stable)" 112 113)
  ("(y up)" 113 121)
 ))
(9
 (
  ("(x 5)" 3 34)
  ("(x 6)" 34 69)
  ("(x 5)" 69 75)
  ("(x 4)" 75 79)
  ("(x 3)" 79 83)
  ("(x 2)" 83 95)
  ("(x 1)" 95 135)
  ("(x stable)" 4 11)
  ("(x down)" 11 18)
  ("(x stable)" 18 21)
  ("(x down)" 21 45)
  ("(x stable)" 45 54)
  ("(x down)" 54 61)
  ("(x stable)" 61 62)
  ("(x up)" 62 112)
  ("(x down)" 112 126)
  ("(x stable)" 126 133)
  ("(x up)" 133 135)
  ("(y 1)" 3 22)
  ("(y 2)" 22 28)
  ("(y 3)" 28 31)
  ("(y 4)" 31 34)
  ("(y 5)" 34 38)
  ("(y 6)" 38 60)
  ("(y 5)" 60 66)
  ("(y 4)" 66 70)
  ("(y 3)" 70 73)
  ("(y 2)" 73 79)
  ("(y 1)" 79 99)
  ("(y 2)" 99 104)
  ("(y 3)" 104 107)
  ("(y 4)" 107 112)
  ("(y 5)" 112 121)
  ("(y 6)" 121 135)
  ("(y up)" 4 9)
  ("(y stable)" 9 17)
  ("(y down)" 17 48)
  ("(y stable)" 48 49)
  ("(y up)" 49 90)
  ("(y stable)" 90 91)
  ("(y down)" 91 130)
  ("(y up)" 130 135)
 ))
(10
 (
  ("(x 5)" 3 37)
  ("(x 6)" 37 65)
  ("(x 5)" 65 77)
  ("(x 4)" 77 83)
  ("(x 3)" 83 87)
  ("(x 2)" 87 99)
  ("(x 1)" 99 146)
  ("(x stable)" 4 30)
  ("(x down)" 30 42)
  ("(x stable)" 42 61)
  ("(x up)" 61 113)
  ("(x stable)" 113 115)
  ("(x down)" 115 133)
  ("(x stable)" 133 146)
  ("(y 2)" 3 32)
  ("(y 3)" 32 35)
  ("(y 4)" 35 38)
  ("(y 5)" 38 42)
  ("(y 6)" 42 63)
  ("(y 5)" 63 69)
  ("(y 4)" 69 74)
  ("(y 3)" 74 79)
  ("(y 2)" 79 84)
  ("(y 1)" 84 106)
  ("(y 2)" 106 112)
  ("(y 3)" 112 116)
  ("(y 4)" 116 120)
  ("(y 5)" 120 127)
  ("(y 6)" 127 146)
  ("(y up)" 4 6)
  ("(y stable)" 6 8)
  ("(y up)" 8 15)
  ("(y stable)" 15 21)
  ("(y down)" 21 53)
  ("(y up)" 53 93)
  ("(y stable)" 93 94)
  ("(y down)" 94 133)
  ("(y stable)" 133 140)
  ("(y up)" 140 146)
 ))
(11
 (
  ("(x 6)" 3 22)
  ("(x 5)" 22 77)
  ("(x 4)" 77 95)
  ("(x 3)" 95 101)
  ("(x 2)" 101 108)
  ("(x 1)" 108 155)
  ("(x stable)" 4 16)
  ("(x up)" 16 29)
  ("(x stable)" 29 31)
  ("(x up)" 31 38)
  ("(x stable)" 38 62)
  ("(x up)" 62 123)
  ("(x down)" 123 138)
  ("(x stable)" 138 155)
  ("(y 2)" 3 25)
  ("(y 3)" 25 28)
  ("(y 4)" 28 31)
  ("(y 5)" 31 35)
  ("(y 6)" 35 69)
  ("(y 5)" 69 74)
  ("(y 4)" 74 77)
  ("(y 3)" 77 80)
  ("(y 2)" 80 85)
  ("(y 1)" 85 117)
  ("(y 2)" 117 121)
  ("(y 3)" 121 125)
  ("(y 4)" 125 129)
  ("(y 5)" 129 155)
  ("(y stable)" 4 16)
  ("(y down)" 16 47)
  ("(y stable)" 47 61)
  ("(y up)" 61 102)
  ("(y stable)" 102 103)
  ("(y down)" 103 138)
  ("(y stable)" 138 155)
 ))
(12
 (
  ("(x 5)" 3 20)
  ("(x 6)" 20 49)
  ("(x 5)" 49 56)
  ("(x 4)" 56 61)
  ("(x 3)" 61 66)
  ("(x 2)" 66 76)
  ("(x 1)" 76 99)
  ("(x 2)" 99 126)
  ("(x stable)" 4 15)
  ("(x down)" 15 33)
  ("(x stable)" 33 39)
  ("(x up)" 39 87)
  ("(x stable)" 87 89)
  ("(x down)" 89 108)
  ("(x stable)" 108 120)
  ("(x up)" 120 126)
  ("(y 1)" 3 19)
  ("(y 2)" 19 23)
  ("(y 3)" 23 25)
  ("(y 4)" 25 28)
  ("(y 5)" 28 31)
  ("(y 6)" 31 48)
  ("(y 5)" 48 52)
  ("(y 4)" 52 55)
  ("(y 3)" 55 59)
  ("(y 2)" 59 65)
  ("(y 1)" 65 85)
  ("(y 2)" 85 89)
  ("(y 3)" 89 92)
  ("(y 4)" 92 96)
  ("(y 5)" 96 126)
  ("(y stable)" 4 15)
  ("(y down)" 15 40)
  ("(y stable)" 40 41)
  ("(y up)" 41 77)
  ("(y stable)" 77 78)
  ("(y down)" 78 107)
  ("(y stable)" 107 119)
  ("(y up)" 119 126)
 ))
(13
 (
  ("(x 5)" 3 48)
  ("(x 6)" 48 63)
  ("(x 5)" 63 72)
  ("(x 4)" 72 85)
  ("(x 3)" 85 90)
  ("(x 2)" 90 100)
  ("(x 1)" 100 140)
  ("(x stable)" 4 9)
  ("(x up)" 9 22)
  ("(x stable)" 22 23)
  ("(x down)" 23 39)
  ("(x stable)" 39 43)
  ("(x down)" 43 55)
  ("(x stable)" 55 60)
  ("(x up)" 60 114)
  ("(x down)" 114 121)
  ("(x stable)" 121 131)
  ("(x up)" 131 140)
  ("(y 1)" 3 14)
  ("(y 2)" 14 19)
  ("(y 3)" 19 22)
  ("(y 4)" 22 25)
  ("(y 5)" 25 29)
  ("(y 6)" 29 57)
  ("(y 5)" 57 63)
  ("(y 4)" 63 66)
  ("(y 3)" 66 69)
  ("(y 2)" 69 77)
  ("(y 1)" 77 106)
  ("(y 2)" 106 110)
  ("(y 3)" 110 113)
  ("(y 4)" 113 116)
  ("(y 5)" 116 138)
  ("(y 4)" 138 140)
  ("(y stable)" 4 9)
  ("(y down)" 9 39)
  ("(y stable)" 39 44)
  ("(y up)" 44 94)
  ("(y stable)" 94 98)
  ("(y down)" 98 127)
  ("(y stable)" 127 128)
  ("(y up)" 128 140)
 ))
(14
 (
  ("(x 5)" 3 33)
  ("(x 6)" 33 62)
  ("(x 5)" 62 68)
  ("(x 4)" 68 73)
  ("(x 3)" 73 82)
  ("(x 2)" 82 91)
  ("(x 1)" 91 132)
  ("(x stable)" 4 12)
  ("(x down)" 12 19)
  ("(x stable)" 19 24)
  ("(x down)" 24 42)
  ("(x stable)" 42 57)
  ("(x up)" 57 105)
  ("(x stable)" 105 106)
  ("(x down)" 106 121)
  ("(x stable)" 121 129)
  ("(x up)" 129 132)
  ("(y 1)" 3 22)
  ("(y 2)" 22 27)
  ("(y 3)" 27 30)
  ("(y 4)" 30 33)
  ("(y 5)" 33 38)
  ("(y 6)" 38 54)
  ("(y 5)" 54 61)
  ("(y 4)" 61 64)
  ("(y 3)" 64 68)
  ("(y 2)" 68 76)
  ("(y 1)" 76 97)
  ("(y 2)" 97 103)
  ("(y 3)" 103 106)
  ("(y 4)" 106 109)
  ("(y 5)" 109 113)
  ("(y 6)" 113 132)
  ("(y stable)" 4 12)
  ("(y up)" 12 19)
  ("(y stable)" 19 20)
  ("(y down)" 20 45)
  ("(y stable)" 45 48)
  ("(y up)" 48 88)
  ("(y stable)" 88 91)
  ("(y down)" 91 123)
  ("(y stable)" 123 124)
  ("(y up)" 124 132)
 ))
(15
 (
  ("(x 5)" 3 24)
  ("(x 6)" 24 52)
  ("(x 5)" 52 62)
  ("(x 4)" 62 68)
  ("(x 3)" 68 75)
  ("(x 2)" 75 89)
  ("(x 1)" 89 126)
  ("(x stable)" 4 14)
  ("(x up)" 14 18)
  ("(x stable)" 18 20)
  ("(x down)" 20 33)
  ("(x stable)" 33 45)
  ("(x up)" 45 102)
  ("(x stable)" 102 103)
  ("(x up)" 103 110)
  ("(x stable)" 110 121)
  ("(x up)" 121 126)
  ("(y 1)" 3 16)
  ("(y 2)" 16 22)
  ("(y 3)" 22 24)
  ("(y 4)" 24 26)
  ("(y 5)" 26 30)
  ("(y 6)" 30 50)
  ("(y 5)" 50 54)
  ("(y 4)" 54 58)
  ("(y 3)" 58 62)
  ("(y 2)" 62 69)
  ("(y 1)" 69 91)
  ("(y 2)" 91 96)
  ("(y 3)" 96 100)
  ("(y 4)" 100 103)
  ("(y 5)" 103 109)
  ("(y 6)" 109 124)
  ("(y 5)" 124 126)
  ("(y stable)" 4 14)
  ("(y down)" 14 39)
  ("(y stable)" 39 42)
  ("(y up)" 42 82)
  ("(y down)" 82 115)
  ("(y stable)" 115 120)
  ("(y up)" 120 126)
 ))
(16
 (
  ("(x 6)" 3 60)
  ("(x 5)" 60 70)
  ("(x 4)" 70 81)
  ("(x 3)" 81 94)
  ("(x 2)" 94 106)
  ("(x 1)" 106 149)
  ("(x stable)" 4 27)
  ("(x down)" 27 34)
  ("(x stable)" 34 55)
  ("(x up)" 55 119)
  ("(x stable)" 119 145)
  ("(x up)" 145 149)
  ("(y 2)" 3 22)
  ("(y 3)" 22 26)
  ("(y 4)" 26 29)
  ("(y 5)" 29 35)
  ("(y 6)" 35 61)
  ("(y 5)" 61 65)
  ("(y 4)" 65 68)
  ("(y 3)" 68 70)
  ("(y 2)" 70 75)
  ("(y 1)" 75 107)
  ("(y 2)" 107 111)
  ("(y 3)" 111 115)
  ("(y 4)" 115 119)
  ("(y 5)" 119 149)
  ("(y stable)" 4 14)
  ("(y down)" 14 50)
  ("(y up)" 50 94)
  ("(y stable)" 94 97)
  ("(y down)" 97 129)
  ("(y stable)" 129 143)
  ("(y up)" 143 149)
 ))
(17
 (
  ("(x 5)" 3 111)
  ("(x 4)" 111 123)
  ("(x 3)" 123 131)
  ("(x 2)" 131 141)
  ("(x 1)" 141 186)
  ("(x stable)" 4 22)
  ("(x up)" 22 29)
  ("(x stable)" 29 37)
  ("(x down)" 37 44)
  ("(x stable)" 44 61)
  ("(x down)" 61 68)
  ("(x stable)" 68 80)
  ("(x up)" 80 92)
  ("(x stable)" 92 101)
  ("(x up)" 101 157)
  ("(x stable)" 157 163)
  ("(x down)" 163 170)
  ("(x stable)" 170 186)
  ("(y 2)" 3 5)
  ("(y 1)" 5 22)
  ("(y 2)" 22 29)
  ("(y 3)" 29 31)
  ("(y 4)" 31 34)
  ("(y 5)" 34 38)
  ("(y 6)" 38 67)
  ("(y 5)" 67 78)
  ("(y 4)" 78 87)
  ("(y 3)" 87 100)
  ("(y 2)" 100 120)
  ("(y 1)" 120 149)
  ("(y 2)" 149 153)
  ("(y 3)" 153 156)
  ("(y 4)" 156 159)
  ("(y 5)" 159 165)
  ("(y 6)" 165 184)
  ("(y 5)" 184 186)
  ("(y up)" 4 11)
  ("(y stable)" 11 20)
  ("(y down)" 20 49)
  ("(y stable)" 49 57)
  ("(y up)" 57 137)
  ("(y stable)" 137 143)
  ("(y down)" 143 173)
  ("(y stable)" 173 178)
  ("(y up)" 178 186)
 ))
(18
 (
  ("(x 5)" 3 72)
  ("(x 4)" 72 77)
  ("(x 3)" 77 83)
  ("(x 2)" 83 95)
  ("(x 1)" 95 137)
  ("(x stable)" 4 19)
  ("(x up)" 19 26)
  ("(x stable)" 26 35)
  ("(x down)" 35 42)
  ("(x stable)" 42 59)
  ("(x up)" 59 106)
  ("(x stable)" 106 107)
  ("(x down)" 107 114)
  ("(x stable)" 114 134)
  ("(x up)" 134 137)
  ("(y 2)" 3 25)
  ("(y 3)" 25 28)
  ("(y 4)" 28 31)
  ("(y 5)" 31 34)
  ("(y 6)" 34 57)
  ("(y 5)" 57 60)
  ("(y 4)" 60 63)
  ("(y 3)" 63 66)
  ("(y 2)" 66 74)
  ("(y 1)" 74 99)
  ("(y 2)" 99 102)
  ("(y 3)" 102 105)
  ("(y 4)" 105 109)
  ("(y 5)" 109 137)
  ("(y stable)" 4 18)
  ("(y down)" 18 46)
  ("(y stable)" 46 48)
  ("(y up)" 48 87)
  ("(y stable)" 87 90)
  ("(y down)" 90 118)
  ("(y stable)" 118 126)
  ("(y up)" 126 137)
 ))
(19
 (
  ("(x 5)" 3 38)
  ("(x 6)" 38 63)
  ("(x 5)" 63 71)
  ("(x 4)" 71 76)
  ("(x 3)" 76 83)
  ("(x 2)" 83 98)
  ("(x 1)" 98 140)
  ("(x down)" 4 6)
  ("(x stable)" 6 14)
  ("(x up)" 14 26)
  ("(x stable)" 26 30)
  ("(x down)" 30 45)
  ("(x stable)" 45 49)
  ("(x down)" 49 56)
  ("(x stable)" 56 57)
  ("(x up)" 57 114)
  ("(x stable)" 114 118)
  ("(x down)" 118 125)
  ("(x stable)" 125 131)
  ("(x down)" 131 136)
  ("(x stable)" 136 138)
  ("(x up)" 138 140)
  ("(y 2)" 3 23)
  ("(y 3)" 23 26)
  ("(y 4)" 26 29)
  ("(y 5)" 29 34)
  ("(y 6)" 34 55)
  ("(y 5)" 55 60)
  ("(y 4)" 60 64)
  ("(y 3)" 64 67)
  ("(y 2)" 67 73)
  ("(y 1)" 73 98)
  ("(y 2)" 98 103)
  ("(y 3)" 103 107)
  ("(y 4)" 107 112)
  ("(y 5)" 112 120)
  ("(y 6)" 120 132)
  ("(y 5)" 132 140)
  ("(y up)" 4 6)
  ("(y stable)" 6 15)
  ("(y down)" 15 46)
  ("(y stable)" 46 48)
  ("(y up)" 48 86)
  ("(y stable)" 86 89)
  ("(y down)" 89 124)
  ("(y stable)" 124 129)
  ("(y up)" 129 140)
 ))
(20
 (
  ("(x 5)" 3 35)
  ("(x 6)" 35 63)
  ("(x 5)" 63 68)
  ("(x 4)" 68 72)
  ("(x 3)" 72 80)
  ("(x 2)" 80 93)
  ("(x 1)" 93 135)
  ("(x stable)" 4 24)
  ("(x down)" 24 45)
  ("(x stable)" 45 59)
  ("(x up)" 59 104)
  ("(x stable)" 104 107)
  ("(x down)" 107 120)
  ("(x stable)" 120 129)
  ("(x down)" 129 135)
  ("(y 2)" 3 27)
  ("(y 3)" 27 31)
  ("(y 4)" 31 34)
  ("(y 5)" 34 39)
  ("(y 6)" 39 60)
  ("(y 5)" 60 64)
  ("(y 4)" 64 66)
  ("(y 3)" 66 69)
  ("(y 2)" 69 74)
  ("(y 1)" 74 99)
  ("(y 2)" 99 103)
  ("(y 3)" 103 105)
  ("(y 4)" 105 109)
  ("(y 5)" 109 115)
  ("(y 6)" 115 134)
  ("(y 5)" 134 135)
  ("(y stable)" 4 21)
  ("(y down)" 21 47)
  ("(y stable)" 47 53)
  ("(y up)" 53 88)
  ("(y stable)" 88 91)
  ("(y down)" 91 122)
  ("(y stable)" 122 129)
  ("(y up)" 129 135)
 ))
(21
 (
  ("(x 5)" 3 46)
  ("(x 6)" 46 68)
  ("(x 5)" 68 74)
  ("(x 4)" 74 79)
  ("(x 3)" 79 89)
  ("(x 2)" 89 101)
  ("(x 1)" 101 145)
  ("(x down)" 4 11)
  ("(x stable)" 11 43)
  ("(x down)" 43 50)
  ("(x stable)" 50 66)
  ("(x up)" 66 115)
  ("(x down)" 115 129)
  ("(x stable)" 129 140)
  ("(x up)" 140 145)
  ("(y 1)" 3 30)
  ("(y 2)" 30 36)
  ("(y 3)" 36 39)
  ("(y 4)" 39 42)
  ("(y 5)" 42 47)
  ("(y 6)" 47 66)
  ("(y 5)" 66 70)
  ("(y 4)" 70 72)
  ("(y 3)" 72 75)
  ("(y 2)" 75 81)
  ("(y 1)" 81 101)
  ("(y 2)" 101 107)
  ("(y 3)" 107 111)
  ("(y 4)" 111 115)
  ("(y 5)" 115 120)
  ("(y 6)" 120 145)
  ("(y stable)" 4 24)
  ("(y down)" 24 55)
  ("(y stable)" 55 61)
  ("(y up)" 61 88)
  ("(y stable)" 88 96)
  ("(y down)" 96 129)
  ("(y stable)" 129 140)
  ("(y up)" 140 145)
 ))
(22
 (
  ("(x 5)" 3 27)
  ("(x 6)" 27 56)
  ("(x 5)" 56 66)
  ("(x 4)" 66 73)
  ("(x 3)" 73 82)
  ("(x 2)" 82 94)
  ("(x 1)" 94 136)
  ("(x stable)" 4 13)
  ("(x up)" 13 20)
  ("(x stable)" 20 21)
  ("(x down)" 21 41)
  ("(x stable)" 41 48)
  ("(x up)" 48 105)
  ("(x stable)" 105 133)
  ("(x up)" 133 136)
  ("(y 1)" 3 17)
  ("(y 2)" 17 22)
  ("(y 3)" 22 25)
  ("(y 4)" 25 28)
  ("(y 5)" 28 33)
  ("(y 6)" 33 51)
  ("(y 5)" 51 55)
  ("(y 4)" 55 58)
  ("(y 3)" 58 62)
  ("(y 2)" 62 68)
  ("(y 1)" 68 94)
  ("(y 2)" 94 99)
  ("(y 3)" 99 102)
  ("(y 4)" 102 105)
  ("(y 5)" 105 113)
  ("(y 6)" 113 136)
  ("(y stable)" 4 13)
  ("(y down)" 13 41)
  ("(y stable)" 41 44)
  ("(y up)" 44 83)
  ("(y stable)" 83 84)
  ("(y down)" 84 119)
  ("(y stable)" 119 134)
  ("(y up)" 134 136)
 ))
